881. Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981
پدیدآورنده : edited by Peter Deussen
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
104
882. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : GI-Fachtagung Theoretische Informatik, 4th, 9791, Aachen
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1979
883. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
884. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
885. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
886. Theoretische Informatik :
پدیدآورنده : von Ingo Wegener.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Theory of computer science.
887. Theoretische Informatik kurz gefasst [kurzgefasst]
پدیدآورنده : von Uwe Schöning
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Theory of computer science.,Computable functions.,Informatik.,Machine theory.,Theoretische Informatik,Theoretische Informatik.,Theorie.
888. Theories of abstract automata
پدیدآورنده : Arbib, Michael A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory
رده :
QA
267
.
A72
889. Theories of abstract automata
پدیدآورنده : Arbib, Michael A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
A72
890. Theories of abstract automata
پدیدآورنده : ARBIB,MICHAEL A
کتابخانه: (طهران)
موضوع : MACHINE THEORY
رده :
QA
267
.
A72
891. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
892. Theory of Machines
پدیدآورنده : Malhotra, D. R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
M3
893. Theory of automata /
پدیدآورنده : Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Power series.,Sequential machine theory.
رده :
QA267
.
5
.
S4
S3
1969
894. Theory of automata
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
.
S3
1969
895. Theory of automata, formal languages and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory,Formal languages
رده :
QA276
.
E
944
2004
896. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages ) Electronic computers (
رده :
QA
267
.
5
.
S4
B68
897. #Theory of computation
پدیدآورنده : #]by[ Walter S. Brainerd ]and[ Lawrence H. Landweber
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory ،Recursive functions ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S4
,
B68
898. Theory of computation
پدیدآورنده : Wood, Derick
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Machine theory,، Computer science -- Mathematics
رده :
QA
267
.
W66
1987
899. Theory of computation
پدیدآورنده : / Derick Wood
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Computational complexity,Machine theory,Computer science - Mathematics
رده :
QA
267
.
W66
1987
900. Theory of computation :
پدیدآورنده : James L. Hein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine theory.,Machine theory.
رده :
QA267
.
H45
1996
